141. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
142. Automated Theory Formation in Pure Mathematics
پدیدآورنده : by Simon Colton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA8
.
4
B975
2002
143. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
144. Automated deduction - A Basis for applications
پدیدآورنده : edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
145. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
146. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
147. Automatic program development :
پدیدآورنده : edited by Olivier Danvy [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
148. Automating Instructional Design:
پدیدآورنده : edited by Robert D. Tennyson, Ann E. Barron.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Educational technology.,Software engineering.
149. Automating with SIMATIC S7-1500 :
پدیدآورنده : by Hans Berger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programmable controllers.,SIMATIC S7 (Computer system),STEP 7 (Computer program language)
150. Autonomous, Model-Based Diagnosis Agents
پدیدآورنده : by Michael Schroeder.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
151. Axiomatising the Logic of Computer Programming
پدیدآورنده : by Robert Goldblatt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic design.
152. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
153. Based Framework to Support Argumentation in Semantic Web Applications-A Defeasible Logic Programming
پدیدآورنده : / Naeem Khalid Janjua
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS& METHODS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
154. Based Program Synthesis and Transformation :-Logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ;
155. Basic logic for program flowcharting and table search
پدیدآورنده : Jones, Robert Llyod
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Flow chart
رده :
QA
76
.
5
.
J63
156. Batching and scheduling :
پدیدآورنده : Carsten Jordan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Economic lot size.,Production scheduling.,Wachttijdproblemen.
رده :
TS157
.
5
C377
1996
157. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
158. Beautiful JavaScript :
پدیدآورنده : edited by Anton Kovalyov
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : JavaScript (Computer program language)
رده :
QA76
.
73
.
J39
B43
2015eb
159. Beginning C# 7 Programming with Visual Studio 2017 /
پدیدآورنده : Benjamin Perkins, Jacob Vibe Hammer and Jon D. Reid.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft Visual studio.,Microsoft Visual studio.,C# (Computer program language),C# (Computer program language),COMPUTERS? Programming-- General.
رده :
QA76
.
73
.
C154
160. Beginning C object-oriented programming /
پدیدآورنده : Dan Clark
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C# (Computer program language),Object-oriented programming (Computer science)
رده :
QA76
.
73
.
C154
C53
2013
